Marco Bernardo: in Z-Library suchen

Ihr Zugang zu Kenntnissen und Kultur.

Don't use scam websites

Angewendete Filter

Genaue Übereinstimmung

Genaue Übereinstimmung

Bücher (38)
Meistgefragt
Liste
- Liste
- Tabelle

1

A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

Springer-Verlag London

Alessandro Aldini, Marco Bernardo, Flavio Corradini (auth.)

Jahr:

2010

Sprache:

english

Datei:

PDF, 2.60 MB

0 / 0

english, 2010

2

Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. Advanced Lectures

Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. Advanced Lectures

Springer-Verlag Berlin Heidelberg

David Garlan (auth.), Marco Bernardo, Paola Inverardi (eds.)

Jahr:

2003

Sprache:

english

Datei:

PDF, 3.72 MB

0 / 0

english, 2003

3

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Nicola Bombieri, Franco Fummi (auth.), Marco Bernardo, Alessandro Cimatti (eds.)

Jahr:

2006

Sprache:

english

Datei:

PDF, 2.88 MB

0 / 0

english, 2006

4

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro Programming and Software Engineering

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro Programming and Software Engineering

Marco Bernardo, Luca Padovani, Gianluigi Zavattaro

Jahr:

2009

Sprache:

english

Datei:

PDF, 5.97 MB

0 / 5.0

english, 2009

5

Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

Springer-Verlag Berlin Heidelberg

William J. Stewart (auth.), Marco Bernardo, Jane Hillston (eds.)

Jahr:

2007

Sprache:

english

Datei:

PDF, 4.81 MB

0 / 0

english, 2007

6

A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

Springer-Verlag London

Alessandro Aldini, Marco Bernardo, Flavio Corradini (auth.)

Jahr:

2010

Sprache:

english

Datei:

PDF, 2.49 MB

0 / 0

english, 2010

7

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

Springer International Publishing

Marco Bernardo, Einar Broch Johnsen (eds.)

Jahr:

2015

Sprache:

english

Datei:

PDF, 10.83 MB

0 / 0

english, 2015

8

A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

Springer-Verlag London

Alessandro Aldini, Marco Bernardo, Flavio Corradini (auth.)

Jahr:

2010

Sprache:

english

Datei:

PDF, 2.90 MB

0 / 0

english, 2010

9

Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Springer-Verlag Berlin Heidelberg

Bran Selic (auth.), Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio (eds.)

Jahr:

2012

Sprache:

english

Datei:

PDF, 8.74 MB

0 / 5.0

english, 2012

10

Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

Springer-Verlag Berlin Heidelberg

Gordon S. Blair, Massimo Paolucci, Paul Grace, Nikolaos Georgantas (auth.), Marco Bernardo, Valérie Issarny (eds.)

Jahr:

2011

Sprache:

english

Datei:

PDF, 11.63 MB

0 / 0

english, 2011

11

Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. Advanced Lectures

Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. Advanced Lectures

Springer-Verlag Berlin Heidelberg

David Garlan (auth.), Marco Bernardo, Paola Inverardi (eds.)

Jahr:

2003

Sprache:

english

Datei:

PDF, 2.87 MB

0 / 0

english, 2003

12

Por que Religião? A Religião Está Ai

Por que Religião? A Religião Está Ai

Padre Marcos William Bernardo

Jahr:

2013

Sprache:

portuguese

Datei:

PDF, 7.29 MB

0 / 0

portuguese, 2013

13

A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

Springer-Verlag London

Alessandro Aldini, Marco Bernardo, Flavio Corradini (auth.)

Jahr:

2010

Sprache:

english

Datei:

PDF, 3.57 MB

0 / 0

english, 2010

14

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Roberto Bruni (auth.), Marco Bernardo, Luca Padovani, Gianluigi Zavattaro (eds.)

Jahr:

2009

Sprache:

english

Datei:

PDF, 4.81 MB

0 / 0

english, 2009

15

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Ugo Montanari, Marco Pistore (auth.), Marco Bernardo, Alessandro Bogliolo (eds.)

Jahr:

2005

Sprache:

english

Datei:

PDF, 3.76 MB

0 / 0

english, 2005

16

Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems International School on Formal Methods for the Design of Computer,Communication and Systems,SFM-RT 2004

Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems International School on Formal Methods for the Design of Computer,Communication and Systems,SFM-RT 2004

Springer-Verlag

Marco Bernardo, Flavio Corradini, International School on Formal Methods for the Design of Computer, Communication and Software Systems, International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004

Jahr:

2004

Sprache:

English

Datei:

PDF, 159.90 MB

0 / 0

English, 2004

17

Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings

Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Marco Roccetti, Gustavo Marfia (auth.), Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa (eds.)

Jahr:

2010

Sprache:

english

Datei:

PDF, 4.60 MB

0 / 0

english, 2010

18

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Roberto Bruni (auth.), Marco Bernardo, Luca Padovani, Gianluigi Zavattaro (eds.)

Jahr:

2009

Sprache:

english

Datei:

PDF, 8.59 MB

0 / 0

english, 2009

19

Econometric Modeling Perspectives

Econometric Modeling Perspectives

Nova Science Publishers, Incorporated

Marco Bee, Giuseppe Espa, Roberto Gabriele, Bernardo Maggio, Gianfranco Piras

Jahr:

2008

Sprache:

english

Datei:

PDF, 3.76 MB

0 / 0

english, 2008

20

Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

Springer-Verlag Berlin Heidelberg

Gordon S. Blair, Massimo Paolucci, Paul Grace, Nikolaos Georgantas (auth.), Marco Bernardo, Valérie Issarny (eds.)

Jahr:

2011

Sprache:

english

Datei:

PDF, 12.35 MB

0 / 5.0

english, 2011

21

Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings

Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Marco Roccetti, Gustavo Marfia (auth.), Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa (eds.)

Jahr:

2010

Sprache:

english

Datei:

PDF, 4.67 MB

0 / 0

english, 2010

22

The Graduate Student’s Guide to Numerical Analysis ’98: Lecture Notes from the VIII EPSRC Summer School in Numerical Analysis

The Graduate Student’s Guide to Numerical Analysis ’98: Lecture Notes from the VIII EPSRC Summer School in Numerical Analysis

Springer-Verlag Berlin Heidelberg

Bernardo Cockburn (auth.), Mark Ainsworth, Jeremy Levesley, Marco Marletta (eds.)

Jahr:

1999

Sprache:

english

Datei:

PDF, 6.00 MB

0 / 0

english, 1999

23

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures

Springer-Verlag Berlin Heidelberg

Rajeev Alur, P. Madhusudan (auth.), Marco Bernardo, Flavio Corradini (eds.)

Jahr:

2004

Sprache:

english

Datei:

PDF, 2.31 MB

0 / 0

english, 2004

24

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Springer International Publishing

Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.)

Jahr:

2014

Sprache:

english

Datei:

PDF, 10.79 MB

0 / 0

english, 2014

25

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Ugo Montanari, Marco Pistore (auth.), Marco Bernardo, Alessandro Bogliolo (eds.)

Jahr:

2005

Sprache:

english

Datei:

PDF, 2.88 MB

0 / 0

english, 2005

26

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

Springer-Verlag Berlin Heidelberg

Andrea Degasperi, Stephen Gilmore (auth.), Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.)

Jahr:

2008

Sprache:

english

Datei:

PDF, 11.98 MB

0 / 0

english, 2008

27

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

Springer International Publishing

Marco Bernardo, Rocco De Nicola, Jane Hillston (eds.)

Jahr:

2016

Sprache:

english

Datei:

PDF, 16.08 MB

0 / 0

english, 2016

28

Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Springer-Verlag Berlin Heidelberg

Bran Selic (auth.), Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio (eds.)

Jahr:

2012

Sprache:

english

Datei:

PDF, 7.37 MB

0 / 0

english, 2012

29

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Springer-Verlag Berlin Heidelberg

Boris Köpf, Andrey Rybalchenko (auth.), Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky (eds.)

Jahr:

2013

Sprache:

english

Datei:

PDF, 5.80 MB

0 / 0

english, 2013

30

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Alessandra Di Pierro, Chris Hankin (auth.), Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.)

Jahr:

2010

Sprache:

english

Datei:

PDF, 1.53 MB

0 / 0

english, 2010

31

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures

Springer-Verlag Berlin Heidelberg

Rajeev Alur, P. Madhusudan (auth.), Marco Bernardo, Flavio Corradini (eds.)

Jahr:

2004

Sprache:

english

Datei:

PDF, 3.04 MB

0 / 0

english, 2004

32

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Springer International Publishing

Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.)

Jahr:

2014

Sprache:

english

Datei:

PDF, 8.06 MB

0 / 0

english, 2014

33

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Alessandra Di Pierro, Chris Hankin (auth.), Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.)

Jahr:

2010

Sprache:

english

Datei:

PDF, 1.65 MB

0 / 0

english, 2010

34

Formal methods for web services advanced lectures, 9, 2009, Bertinoro

Formal methods for web services advanced lectures, 9, 2009, Bertinoro

Marco Bernardo, Luca Padovani, Gianluigi Zavattaro

Jahr:

2009

Sprache:

english

Datei:

PDF, 8.71 MB

0 / 0

english, 2009

35

Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

Springer-Verlag Berlin Heidelberg

Gordon S. Blair, Massimo Paolucci, Paul Grace, Nikolaos Georgantas (auth.), Marco Bernardo, Valérie Issarny (eds.)

Jahr:

2011

Sprache:

english

Datei:

PDF, 9.44 MB

0 / 0

english, 2011

36

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

Springer-Verlag Berlin Heidelberg

Andrea Degasperi, Stephen Gilmore (auth.), Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.)

Jahr:

2008

Sprache:

english

Datei:

PDF, 26.73 MB

0 / 0

english, 2008

37

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Alessandra Di Pierro, Chris Hankin (auth.), Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.)

Jahr:

2010

Sprache:

english

Datei:

PDF, 2.65 MB

0 / 0

english, 2010

38

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014

Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer

Jahr:

2014

Sprache:

english

Datei:

PDF, 3.83 MB

0 / 0

english, 2014